Glasgow Haskell Compiler - PDFSEARCH.IO - Document Search Engine

Glasgow Haskell Compiler
Results: 54

#	Item
31	Haskell for EDSLs Andres L¨ oh Utrecht University [removed] Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional languages Data types Type theory Haskell Literate programming Functional programming Generic programming Glasgow Haskell Compiler Pattern matching Software engineering Computing Computer programming
32	Datatype-Generic Programming in Haskell Andres Löh (thanks to José Pedro Magalhães, Simon Peyton Jones and many others) Skills Matter “In the Brain” – 9 April 2013 Copyright © 2013 Well-Typed LLP Add to Reading List Source URL: kosmikus.org Language: English - Date: 2013-04-10 05:28:11 Type theory Data types Generic programming Haskell Type system Type class Enumerated type C Glasgow Haskell Compiler Software engineering Programming language theory Computing
33	Multicore Garbage Collection with Local Heaps Simon Marlow Simon Peyton Jones Microsoft Research, Cambridge, U.K. Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-06-28 08:48:51 Computer programming Data types Garbage collection C dynamic memory allocation Pointer Closure Reference Glasgow Haskell Compiler Region-based memory management Computing Software engineering Memory management
34	Flask: Staged Functional Programming for Sensor Networks Geoffrey Mainland Greg Morrisett Matt Welsh Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2008-07-28 15:41:14 Type theory Data types Functional languages Functional programming Lambda calculus Haskell NesC Combinator library Glasgow Haskell Compiler Software engineering Computing Computer programming
35	TRANSACT[removed]A Hybrid TM for Haskell ∗ Ryan Yates Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2014-03-26 17:12:55 Computing Software Software transactional memory Linearizability Transactional memory Glasgow Haskell Compiler Database transaction Lock Concurrent Haskell Transaction processing Concurrency control Data management
36	Type-Correct Changes — A Safe Approach to Version Control Implementation Jason Dagit November 13, 2010 Contents Add to Reading List Source URL: www.cs.famaf.unc.edu.ar Language: English - Date: 2014-05-30 10:52:18 Computer programming Darcs Haskell Generalized algebraic data type Type system Yi Type class Glasgow Haskell Compiler Type inference Computing Software engineering Type theory
37	GRADUATION – TUESDAY 3 DECEMBER[removed]Chancellor, by authority of the Senate, I present to you this person on whom the Senate desires you to confer the honorary degree of Doctor of Science: Simon Peyton Jones Simon Pey Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2013-12-05 11:35:52 Functional programming Simon Peyton Jones Programming paradigms Haskell Glasgow Haskell Compiler C-- University of Glasgow Programming language Alwyn Williams Software engineering Computing Computer programming
38	206 Rosse Lane 105 Stanford, CA[removed]Edward Z. Yang [removed] Add to Reading List Source URL: ezyang.com Language: English - Date: 2012-11-14 19:09:33 Functional languages Functional programming Simon Peyton Jones Haskell Glasgow Haskell Compiler C-- Software engineering Coq Git Computing Software Computer programming
39	Yet Another Haskell Tutorial Hal Daum´e III Copyright (c) Hal Daume III, [removed]The preprint version of this tutorial is intended to be free to the entire Haskell community, so we grant permission to copy and distri Add to Reading List Source URL: everobotics.org Language: English - Date: 2007-11-28 01:50:52 Functional programming Functional languages Data types Type theory Haskell Literate programming Monad Glasgow Haskell Compiler Type class Software engineering Computing Computer programming
40	Towards a Declarative Web Master of Science thesis Anton Ekblad University of Gothenburg Add to Reading List Source URL: haste-lang.org Language: English - Date: 2014-03-31 19:10:51 Scripting languages Haskell Literate programming JavaScript Glasgow Haskell Compiler Yhc C JavaScript engine Happstack Software Computing Cross-platform software